<?php

class C extends DateTime {
    public function getTimezone() {}
    public function getTimestamp(C $arg): int {}
}
